Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·7h
🎯Proof Tactics
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Asymmetry of Verification and Verifier's Law
jasonwei.net·9h·
Discuss: Hacker News
🔮Proof Search
Compressed data structures for Heegaard splittings
arxiv.org·7h
🕳️Persistent Homology
We Built a Private Algorand Network to Crack the Code of Transaction Ordering
hackernoon.com·19h
🤝Consensus Algorithms
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Machine Learning Fundamentals: decision trees project
dev.to·20h·
Discuss: DEV
🔗Topological Sorting
Finding Order-Preserving Subgraphs
arxiv.org·7h
🕸️Graph Algorithms
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·18h·
Discuss: Hacker News
📝Database WAL
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·5h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Billions of Edges per Second with Postgres
onesparse.com·16h·
Discuss: Hacker News
🗜️Graph Compression
Relative Entropy Pathwise Policy Optimization
arxiv.org·7h
🧮Kolmogorov Complexity
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·7h
🔲Cellular Automata
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·1d
✨Algebraic Effects